Page 1

Displaying 1 – 1 of 1

Showing per page

Δ -tautologies, uniform and non-uniform upper bounds in computation theory

Daniele Mundici (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Una Δ -tautologia è una tautologia del tipo H K avente un solo interpolante di Craig J , a meno di equivalenza logica. Utilizzando misure di complessità relative al problema di trovare tale J , mostriamo come si possano ottenere limiti non uniformi di complessità mediante limiti uniformi, e viceversa.

Currently displaying 1 – 1 of 1

Page 1